ar X iv : 0 80 9 . 24 94 v 5 [ m at h . L O ] 1 S ep 2 00 9 Coherence for Modalities
نویسنده
چکیده
Positive modalities in S4, S5 and systems in their vicinity are investigated in terms of categorial proof theory. Coherence and maximality results are demonstrated, and connections with mixed distributive laws and Frobenius algebras are exhibited. Mathematics Subject Classification (2000), Primary : 03B45, 03G30, 18C15, Secondary : 03F07, 03C05, 08C05, 18A15, 18A40, 18B10, 18C10, 18C20
منابع مشابه
ar X iv : 0 80 9 . 24 94 v 3 [ m at h . L O ] 3 A pr 2 00 9 Coherence for Modalities
Positive modalities in S4, S5 and systems in their vicinity are investigated in terms of categorial proof theory. Coherence and maximality results are demonstrated, and connections with mixed distributive laws and Frobenius algebras are exhibited. Mathematics Subject Classification (2000), Primary : 03B45, 03G30, 18C15, Secondary : 03F07, 03C05, 08C05, 18A15, 18A40, 18B10, 18C10, 18C20
متن کاملar X iv : h ep - l at / 9 71 00 58 v 1 1 5 O ct 1 99 7 1 Heavy Hybrids From NRQCD
We present results for the exotic 0 +− and 1 −+ b ¯ bg hybrids at β = 6.0. A leading order NRQCD action is used to generate the heavy quark propagators. The optimisation of operators is discussed and we compare our results to the predictions of recent potential calculations.
متن کاملar X iv : m at h / 04 09 02 9 v 1 [ m at h . A G ] 2 S ep 2 00 4 ACM BUNDLES ON GENERAL HYPERSURFACES IN P 5 OF LOW DEGREE
In this paper we show that on a general hypersurface of degree r = 3, 4, 5, 6 in P 5 a rank 2 vector bundle E splits if and only if h 1 E(n) = h 2 E(n) = 0 for all n ∈ Z. Similar results for r = 1, 2 were obtained in [15], [16] and [1].
متن کاملar X iv : h ep - l at / 9 91 00 40 v 1 2 5 O ct 1 99 9 RUHN - 99 - 3 The Overlap Dirac Operator ⋆
This introductory presentation describes the Overlap Dirac Operator, why it could be useful in numerical QCD, and how it can be implemented.
متن کاملar X iv : 0 80 9 . 01 74 v 1 [ m at h - ph ] 1 S ep 2 00 8 Heisenberg relations in the general case
The Heisenberg relations are derived in a quite general setting when the field transformations are induced by three representations of a given group. They are considered also in the fibre bundle approach. The results are illustrated in a case of transformations induced by the Poincaré group.
متن کامل